Automated Custom Code Generation for Embedded, Real-Time Second Order Cone Programming

نویسندگان

  • Daniel Dueri
  • Jing Zhang
چکیده

In this paper, we discuss the development of an Interior Point Method (IPM) solver for Second Order Cone Programming optimization problems that is capable of producing customized ANSI-C code for embedded, real-time applications. The customized code is generated for a given problem structure and makes use of no dynamic memory allocation, minimizes branching, wastes no mathematical or logical computations, and has minimal dependencies to standard libraries. The resulting software is designed to be easy to implement on embedded hardware with limited computing capabilities, while still providing accurate results rapidly enough for real-time use. The core IPM algorithm is a fairly standard primal-dual IPM, which makes use of Mehrotra predictor-corrector method with Nesterov-Todd scalings and Newton search directions. We make use of the Approximate Minimum Degree heuristic to maximize the sparsity of the Cholesky factorizations that are ultimately used to solve for the search directions. We conclude the paper by presenting the computational performance results from two example problems: a Mars landing optimal control problem and a reaction wheel allocation problem. The code generated for the Mars landing problem was successfully validated in three flights onboard a NASA test rocket, and was used in real-time to generate the optimal landing trajectories that guided the rocket. To the best of our knowledge, this was the first time that a real-time embedded convex optimization algorithm was used to control such a large vehicle, where mission success and safety critically relied on the real-time optimization algorithm.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Waveform Design using Second Order Cone Programming in Radar Systems

Transmit waveform design is one of the most important problems in active sensing and communication systems. This problem, due to the complexity and non-convexity, has been always the main topic of many papers for the decades. However, still an optimal solution which guarantees a global minimum for this multi-variable optimization problem is not found. In this paper, we propose an attracting met...

متن کامل

Towards Automated Generation of Time-Predictable Code

Knowledge of the worst-case execution time of software components is essential in safety-critical hard real-time systems. The analysis thereof is not trivial as the execution time depends on many factors, including the underlying hardware platform, the program structure, and the code produced by the compiler. Often, the execution time is variable and highly sensitive to the input data the progr...

متن کامل

Real-Time Convex Optimization

This chapter concerns the use of convex optimization in real-time embedded systems, in areas such as signal processing, automatic control, real-time estimation , real-time resource allocation and decision making, and fast automated trading. By 'embedded' we mean that the optimization algorithm is part of a larger, fully automated system, that executes automatically with newly arriving data or c...

متن کامل

A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems

The implementation of hard real-time systems is extremely a hard task today due to safety and dynamic reconfiguration requirements. For that, whatever the taken precautions, the occurrence of faults in such systems is sometimes unavoidable. So, developers have to take into account the presence of faults since the design level. In this context, we notice the need of techniques ensuring the depen...

متن کامل

Solving A Fractional Program with Second Order Cone Constraint

We consider a fractional program with both linear and quadratic equation in numerator and denominator  having second order cone (SOC) constraints. With a suitable change of variable, we transform the problem into a  second order cone programming (SOCP)  problem.  For the quadratic fractional case, using a relaxation, the problem is reduced to a semi-definite optimization (SDO) program. The p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014